home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / t3_1 / tman.lha / tman / environment.tex / images.pl (.txt) < prev    next >
LaTeX Document  |  1990-10-02  |  2KB  |  44 lines
  1. # LaTeX2HTML 2022 (Released January 1, 2022)
  2. # Associate images original text with physical files.
  3. $key = q//;
  4. $cached_env_img{$key} = q|<IMG
  5.   STYLE="" SRC="|."$dir".q|img2.png"
  6.  ALT="\begin{inset}{}
  7. {\tt LET*} is like {\tt LET}, except that the binding of variabl...
  8. ...l$_{\hbox{2}}$\/})) \- \\\\
  9. {\it val$_{\hbox{1}}$\/})
  10. \end{tabbing}}
  11. \end{inset}">|; 
  12. $key = q/{inset}{{{bf{T3}:}Weareworkingonamodulesystemwhichwilleventuallysubsumethefunctionalityof{mbox{{tt{locale}}.{inset};AAT/;
  13. $cached_env_img{$key} = q|<IMG
  14.   STYLE="height: 52.38ex; vertical-align: 126.40ex; " SRC="|."$dir".q|img4.png"
  15.  ALT="\begin{inset}{{\bf T3}:}
  16. We are working on a module system which will eventually
  17. subsume the functionality of {\mbox {\tt locale}}.
  18. \end{inset}">|; 
  19. $key = q/{inset}{}Createsabindingfor{{it{identifierslash}in{{it{localeslash}withinitialvalue{{it{valueslash}.{inset};AAT/;
  20. $cached_env_img{$key} = q|<IMG
  21.   STYLE="height: 1.75ex; vertical-align: 177.10ex; " SRC="|."$dir".q|img12.png"
  22.  ALT="\begin{inset}{}
  23. Creates a binding for {\it identifier\/} in {\it locale\/} with initial
  24. value {\it value\/}.
  25. \end{inset}">|; 
  26. $key = q/{inset}{}Createsalocalecontainingnobindingswhatsoever.{inset};AAT/;
  27. $cached_env_img{$key} = q|<IMG
  28.   STYLE="height: 2.17ex; vertical-align: 176.54ex; " SRC="|."$dir".q|img8.png"
  29.  ALT="\begin{inset}{}
  30. Creates a locale containing no bindings whatsoever.
  31. \end{inset}">|; 
  32. $key = q/{inset}{}Definesthevalueof{{it{identifierslash}in{{it{localeslash}tobe{{it{valueslash}.{inset};AAT/;
  33. $cached_env_img{$key} = q|<IMG
  34.   STYLE="height: 2.24ex; vertical-align: 173.29ex; " SRC="|."$dir".q|img11.png"
  35.  ALT="\begin{inset}{}
  36. Defines the value of {\it identifier\/} in {\it locale\/} to be {\it value\/}.
  37. \end{inset}">|; 
  38. $key = q/{inset}{}Returnstrueif{{it{objectslash}isalocale.{inset};AAT/;
  39. $cached_env_img{$key} = q|<IMG
  40.   STYLE="height: 2.17ex; vertical-align: 176.68ex; " SRC="|."$dir".q|img9.png"
  41.  ALT="\begin{inset}{}
  42. Returns true if {\it object\/} is a locale.
  43. \end{inset}">|; 
  44.